home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Tech Arsenal 1
/
Tech Arsenal (Arsenal Computer).ISO
/
tek-04
/
aie8911.zip
/
SPECS.ARI
< prev
next >
Wrap
Text File
|
1989-09-21
|
3KB
|
131 lines
:- module specs.
:- public
main / 0,
restart / 0.
:- extrn
once / 1 : far, /* In module: LIB.ARI */
close_log_file / 0, /* In module: NEWTRACE.ARI */
init_log_file / 0, /* In module: NEWTRACE.ARI */
log_nl / 0, /* In module: NEWTRACE.ARI */
log_read / 1, /* In module: NEWTRACE.ARI */
log_write / 1, /* In module: NEWTRACE.ARI */
yes / 3, /* In module: STUBS.ARI */
reconsult_if_there / 1 : far. /* In module: FILEMOD.ARI */
%%%%%%%%%% end prepcomp generated declarations %%%%%%%%%%%%%%%%%%%%
:- visible rconsult / 1.
:- visible rrconsult / 1.
% Rodger Knaus added these declarations
% These are probably required also in v. 4
% :- module sa.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%
% sa.ari
% systems analysis top level
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% History of this Module:
%
% 2 jun 89 rk started module
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
main :-
reconsult_if_there($specs.cfg$),
init_log_file,
title,
init_ops,
cls,
log_nl,
log_write( $ Loading System Description. $ ),
log_nl,
reconsult_if_there($specs.ini$),
!,
read_eval_loop,
close_log_file ,
halt.
restart :- halt.
read_eval_loop :-
repeat,
log_write($?>$),
log_read(X),
( X = halt,
!;
once( do_goal(X)) ,
log_nl,
fail).
title :-
cls,
log_write(
$
INSTANT RECALL SPECIFICATION INTERPRETER
(C) Copyright 1989 by INSTANT RECALL
All rights reserved.
Use subject to license agreement below.
Instant Recall
5900 Walton Rd.
Bethesda, Md. 20817 USA
(301) 530-0898
You may use this program in both source and executable form free of
charge for personal non-commercial use. The program and code may not
be modified, incorporated into other programs, or used commercially
academically or by other organizations without written permission
from Instant Recall.
$),
yes(
$ I agree to these conditions by typing y(es),
or may exit tye program by typing q(uit).
>>$,
q_means_no,
do_quit ) .
init_ops :-
reset_op,
current_op( Prec, _ , is),
op( Prec , fx, stub). % same as is in prec.
% op( Prec , fx, stub_out), % same as is in prec.
% op( Prec , Ops, turned).
rrconsult(X) :-
log_write($reconsulting $),
log_write(X),
log_write($...$),
reconsult(X),
log_write($reconsulted!$),
log_nl.
rconsult(X) :-
log_write($consulting $),
log_write(X),
log_write($...$),
consult(X),
log_write($consulted!$),
log_nl.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%